results for Region-Connection Calculus